pre.highlight {
  line-height: 1;
}

html {
  scroll-behavior: auto; // https://github.com/just-the-docs/just-the-docs/issues/1574
}
